#!/bin/bash

# Include config file
source ../config/config.sh

# Stop the evaluator
$PHP_PATH -f $BASE_PATH/scripts/php/evaluator-stop.php
